1. Computer-aided reasoning :
پدیدآورنده : edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer-aided design.,Expert systems (Computer science)
رده :
QA76
.
76
.
E95
E358
2011
2. Computer-aided reasoning: an approach
پدیدآورنده : Kaufmann, Matt
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Formal methods )Computer science(,، Sotware engineering,، Expert systems )Computer science(
رده :
QA
76
.
9
.
F67
.
K38
2000
3. Interactive Theorem Proving
پدیدآورنده : / Matt Kaufmann, Lawrence C. Paulson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
